2.2.14 Integrals 1301 to 1373

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

186 186 3011 679 0 292 0 0 260

N.S.

1 1.00 16.19 3.65 0.00 1.57 0.00 0.00 1.40

time (sec)

N/A 0.387 7.540 0.196 0.000 1.082 0.000 0.000 5.929

Problem 1302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

180 180 2779 1303 0 292 0 0 268

N.S.

1 1.00 15.44 7.24 0.00 1.62 0.00 0.00 1.49

time (sec)

N/A 0.382 7.627 0.289 0.000 1.422 0.000 0.000 6.501

Problem 1303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

201 201 3017 973 0 319 0 0 310

N.S.

1 1.00 15.01 4.84 0.00 1.59 0.00 0.00 1.54

time (sec)

N/A 0.401 7.716 0.385 0.000 1.363 0.000 0.000 7.542

Problem 1304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

249 249 218 920 0 357 0 0 343

N.S.

1 1.00 0.88 3.69 0.00 1.43 0.00 0.00 1.38

time (sec)

N/A 0.426 4.781 0.455 0.000 0.932 0.000 0.000 8.046

Problem 1305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

361 361 286 1082 0 429 0 0 514

N.S.

1 1.00 0.79 3.00 0.00 1.19 0.00 0.00 1.42

time (sec)

N/A 0.645 2.130 0.187 0.000 1.491 0.000 0.000 6.203

Problem 1306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

296 296 3237 975 0 376 0 0 452

N.S.

1 1.00 10.94 3.29 0.00 1.27 0.00 0.00 1.53

time (sec)

N/A 0.621 7.368 0.168 0.000 1.528 0.000 0.000 6.096

Problem 1307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

277 277 3915 1278 0 378 0 0 398

N.S.

1 1.00 14.13 4.61 0.00 1.36 0.00 0.00 1.44

time (sec)

N/A 0.622 8.132 0.226 0.000 1.764 0.000 0.000 6.089

Problem 1308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

267 267 3868 1837 0 369 0 0 379

N.S.

1 1.00 14.49 6.88 0.00 1.38 0.00 0.00 1.42

time (sec)

N/A 0.598 8.431 0.369 0.000 0.698 0.000 0.000 7.237

Problem 1309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

274 274 3871 1392 0 382 0 0 414

N.S.

1 1.00 14.13 5.08 0.00 1.39 0.00 0.00 1.51

time (sec)

N/A 0.596 8.517 0.418 0.000 1.152 0.000 0.000 8.675

Problem 1310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

294 294 3933 1178 0 415 0 0 442

N.S.

1 1.00 13.38 4.01 0.00 1.41 0.00 0.00 1.50

time (sec)

N/A 0.613 8.638 0.497 0.000 0.640 0.000 0.000 10.660

Problem 1311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

357 357 3345 1265 0 467 0 0 463

N.S.

1 1.00 9.37 3.54 0.00 1.31 0.00 0.00 1.30

time (sec)

N/A 0.656 8.446 0.671 0.000 1.656 0.000 0.000 10.700

Problem 1312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

404 404 320 1273 0 487 0 0 600

N.S.

1 1.00 0.79 3.15 0.00 1.21 0.00 0.00 1.49

time (sec)

N/A 0.903 2.641 0.185 0.000 1.460 0.000 0.000 6.807

Problem 1313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

377 377 4114 1652 0 474 0 0 547

N.S.

1 1.00 10.91 4.38 0.00 1.26 0.00 0.00 1.45

time (sec)

N/A 0.887 8.542 0.265 0.000 1.369 0.000 0.000 6.495

Problem 1314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

371 371 4776 2507 0 455 0 0 516

N.S.

1 1.00 12.87 6.76 0.00 1.23 0.00 0.00 1.39

time (sec)

N/A 0.871 9.200 0.436 0.000 1.570 0.000 0.000 6.889

Problem 1315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

388 388 4960 1857 0 455 0 0 524

N.S.

1 1.00 12.78 4.79 0.00 1.17 0.00 0.00 1.35

time (sec)

N/A 0.884 9.400 0.550 0.000 0.888 0.000 0.000 9.998

Problem 1316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

384 384 4791 1597 0 478 0 0 559

N.S.

1 1.00 12.48 4.16 0.00 1.24 0.00 0.00 1.46

time (sec)

N/A 0.891 9.587 0.563 0.000 1.660 0.000 0.000 12.768

Problem 1317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

401 401 4150 1523 0 525 0 0 866

N.S.

1 1.00 10.35 3.80 0.00 1.31 0.00 0.00 2.16

time (sec)

N/A 0.903 9.174 0.823 0.000 0.683 0.000 0.000 14.868

Problem 1318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

209 209 271 801 0 0 0 0 -1

N.S.

1 1.00 1.30 3.83 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.654 12.463 0.234 0.000 0.000 0.000 0.000 0.000

Problem 1319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 215 981 0 0 0 0 -1

N.S.

1 1.00 1.46 6.67 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.446 11.398 0.183 0.000 0.000 0.000 0.000 0.000

Problem 1320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F A F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

97 97 0 323 0 0 0 0 -1

N.S.

1 1.00 0.00 3.33 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.264 50.332 0.145 0.000 0.000 0.000 0.000 0.000

Problem 1321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 210 382 0 0 0 0 -1

N.S.

1 1.00 1.78 3.24 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.390 12.896 0.196 0.000 0.000 0.000 0.000 0.000

Problem 1322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 266 445 0 0 0 0 -1

N.S.

1 1.00 1.68 2.82 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.615 12.536 0.322 0.000 0.000 0.000 0.000 0.000

Problem 1323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 332 773 0 0 0 0 -1

N.S.

1 1.00 1.41 3.28 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.861 14.845 0.487 0.000 0.000 0.000 0.000 0.000

Problem 1324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

346 346 337 1123 0 0 0 0 -1

N.S.

1 1.00 0.97 3.25 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.842 13.929 0.389 0.000 0.000 0.000 0.000 0.000

Problem 1325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

257 257 299 856 0 0 0 0 -1

N.S.

1 1.00 1.16 3.33 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.563 13.311 0.316 0.000 0.000 0.000 0.000 0.000

Problem 1326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 298 809 0 0 0 0 -1

N.S.

1 1.00 1.25 3.38 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.540 14.342 0.300 0.000 0.000 0.000 0.000 0.000

Problem 1327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

307 307 337 870 0 0 0 0 -1

N.S.

1 1.00 1.10 2.83 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.755 15.485 0.362 0.000 0.000 0.000 0.000 0.000

Problem 1328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

387 387 472 1004 0 0 0 0 -1

N.S.

1 1.00 1.22 2.59 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.029 17.316 0.662 0.000 0.000 0.000 0.000 0.000

Problem 1329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

538 538 602 2289 0 0 0 0 -1

N.S.

1 1.00 1.12 4.25 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.411 17.576 0.783 0.000 0.000 0.000 0.000 0.000

Problem 1330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

426 426 437 2022 0 0 0 0 -1

N.S.

1 1.00 1.03 4.75 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.982 16.896 0.671 0.000 0.000 0.000 0.000 0.000

Problem 1331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

423 423 424 1972 0 0 0 0 -1

N.S.

1 1.00 1.00 4.66 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.947 16.368 0.625 0.000 0.000 0.000 0.000 0.000

Problem 1332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

409 409 440 1879 0 0 0 0 -1

N.S.

1 1.00 1.08 4.59 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.931 16.942 0.643 0.000 0.000 0.000 0.000 0.000

Problem 1333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

496 496 592 2022 0 0 0 0 -1

N.S.

1 1.00 1.19 4.08 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.305 17.436 0.812 0.000 0.000 0.000 0.000 0.000

Problem 1334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

457 457 3595 4075 0 714 0 0 -1

N.S.

1 1.00 7.87 8.92 0.00 1.56 0.00 0.00 -0.00

time (sec)

N/A 1.215 24.754 0.948 0.000 1.108 0.000 0.000 0.000

Problem 1335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

360 360 3071 2829 0 620 0 0 -1

N.S.

1 1.00 8.53 7.86 0.00 1.72 0.00 0.00 -0.00

time (sec)

N/A 0.873 22.965 0.404 0.000 1.042 0.000 0.000 0.000

Problem 1336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

273 273 404 1966 0 529 0 0 -1

N.S.

1 1.00 1.48 7.20 0.00 1.94 0.00 0.00 -0.00

time (sec)

N/A 0.653 17.710 0.286 0.000 0.690 0.000 0.000 0.000

Problem 1337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

277 277 43023 3720 0 0 0 0 -1

N.S.

1 1.00 155.32 13.43 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.715 33.796 0.245 0.000 0.000 0.000 0.000 0.000

Problem 1338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

258 258 64644 3418 0 0 0 0 -1

N.S.

1 1.00 250.56 13.25 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.637 32.909 0.267 0.000 0.000 0.000 0.000 0.000

Problem 1339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

346 346 100266 3188 0 0 0 0 -1

N.S.

1 1.00 289.79 9.21 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.909 33.761 0.256 0.000 0.000 0.000 0.000 0.000

Problem 1340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

447 447 131249 2548 0 0 0 0 -1

N.S.

1 1.00 293.62 5.70 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.198 34.649 0.362 0.000 0.000 0.000 0.000 0.000

Problem 1341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

455 455 3703 4075 0 716 0 0 -1

N.S.

1 1.00 8.14 8.96 0.00 1.57 0.00 0.00 -0.00

time (sec)

N/A 1.299 24.613 0.611 0.000 0.897 0.000 0.000 0.000

Problem 1342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

359 359 3261 2911 0 621 0 0 -1

N.S.

1 1.00 9.08 8.11 0.00 1.73 0.00 0.00 -0.00

time (sec)

N/A 0.945 23.077 0.392 0.000 0.866 0.000 0.000 0.000

Problem 1343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

356 356 56321 2220 0 0 0 0 -1

N.S.

1 1.00 158.21 6.24 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.938 35.318 0.296 0.000 0.000 0.000 0.000 0.000

Problem 1344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

340 340 79958 1865 0 0 0 0 -1

N.S.

1 1.00 235.17 5.49 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.940 33.813 0.273 0.000 0.000 0.000 0.000 0.000

Problem 1345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

353 353 120732 2099 0 0 0 0 -1

N.S.

1 1.00 342.02 5.95 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.895 34.778 0.270 0.000 0.000 0.000 0.000 0.000

Problem 1346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

446 446 132839 2725 0 0 0 0 -1

N.S.

1 1.00 297.85 6.11 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.227 34.782 0.352 0.000 0.000 0.000 0.000 0.000

Problem 1347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

551 551 179293 3943 0 0 0 0 -1

N.S.

1 1.00 325.40 7.16 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.601 36.366 0.497 0.000 0.000 0.000 0.000 0.000

Problem 1348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

565 565 4170 5307 0 827 0 0 -1

N.S.

1 1.00 7.38 9.39 0.00 1.46 0.00 0.00 -0.00

time (sec)

N/A 1.681 25.757 0.967 0.000 1.426 0.000 0.000 0.000

Problem 1349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

452 452 3785 4157 0 715 0 0 -1

N.S.

1 1.00 8.37 9.20 0.00 1.58 0.00 0.00 -0.00

time (sec)

N/A 1.296 24.791 0.569 0.000 1.208 0.000 0.000 0.000

Problem 1350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

441 441 64878 3164 0 0 0 0 -1

N.S.

1 1.00 147.12 7.17 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.229 35.522 0.425 0.000 0.000 0.000 0.000 0.000

Problem 1351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

419 419 86542 2893 0 0 0 0 -1

N.S.

1 1.00 206.54 6.90 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.225 35.017 0.392 0.000 0.000 0.000 0.000 0.000

Problem 1352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

427 427 129353 2792 0 0 0 0 -1

N.S.

1 1.00 302.93 6.54 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.253 35.815 0.377 0.000 0.000 0.000 0.000 0.000

Problem 1353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

453 453 157926 3162 0 0 0 0 -1

N.S.

1 1.00 348.62 6.98 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.270 36.669 0.388 0.000 0.000 0.000 0.000 0.000

Problem 1354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

550 550 180789 4031 0 0 0 0 -1

N.S.

1 1.00 328.71 7.33 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.613 36.854 0.511 0.000 0.000 0.000 0.000 0.000

Problem 1355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

674 674 211844 5292 0 0 0 0 -1

N.S.

1 1.00 314.31 7.85 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.036 37.827 1.136 0.000 0.000 0.000 0.000 0.000

Problem 1356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

380 380 492 2829 0 621 0 0 -1

N.S.

1 1.00 1.29 7.44 0.00 1.63 0.00 0.00 -0.00

time (sec)

N/A 0.899 19.934 0.448 0.000 1.720 0.000 0.000 0.000

Problem 1357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

291 291 417 1885 0 534 0 0 -1

N.S.

1 1.00 1.43 6.48 0.00 1.84 0.00 0.00 -0.00

time (sec)

N/A 0.647 18.085 0.283 0.000 1.046 0.000 0.000 0.000

Problem 1358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

216 216 359 2778 0 460 0 0 -1

N.S.

1 1.00 1.66 12.86 0.00 2.13 0.00 0.00 -0.00

time (sec)

N/A 0.448 11.268 0.230 0.000 1.141 0.000 0.000 0.000

Problem 1359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

219 219 36160 1374 0 0 0 0 -1

N.S.

1 1.00 165.11 6.27 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.503 34.482 0.286 0.000 0.000 0.000 0.000 0.000

Problem 1360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

260 260 52620 773 0 0 0 0 -1

N.S.

1 1.00 202.38 2.97 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.638 32.717 0.223 0.000 0.000 0.000 0.000 0.000

Problem 1361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

350 350 98830 1873 0 0 0 0 -1

N.S.

1 1.00 282.37 5.35 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.875 33.969 0.253 0.000 0.000 0.000 0.000 0.000

Problem 1362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

208 208 25325 1567 0 0 0 0 -1

N.S.

1 1.00 121.75 7.53 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.598 6.295 0.211 0.000 0.000 0.000 0.000 0.000

Problem 1363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

461 461 3870 2418 0 1030 0 0 -1

N.S.

1 1.00 8.39 5.25 0.00 2.23 0.00 0.00 -0.00

time (sec)

N/A 1.060 25.169 0.345 0.000 1.114 0.000 0.000 0.000

Problem 1364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

350 350 3283 1518 0 872 0 0 -1

N.S.

1 1.00 9.38 4.34 0.00 2.49 0.00 0.00 -0.00

time (sec)

N/A 0.758 23.489 0.266 0.000 1.084 0.000 0.000 0.000

Problem 1365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

249 249 517 966 0 738 0 0 -1

N.S.

1 1.00 2.08 3.88 0.00 2.96 0.00 0.00 -0.00

time (sec)

N/A 0.523 17.843 0.240 0.000 0.492 0.000 0.000 0.000

Problem 1366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F(-1) F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

311 311 63246 950 0 0 0 0 -1

N.S.

1 1.00 203.36 3.05 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.787 35.503 0.237 0.000 0.000 0.000 0.000 0.000

Problem 1367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F(-1) F(-1) F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

393 393 111509 1503 0 0 0 0 -1

N.S.

1 1.00 283.74 3.82 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.024 35.277 0.256 0.000 0.000 0.000 0.000 0.000

Problem 1368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

663 663 4917 6912 0 1793 0 0 -1

N.S.

1 1.00 7.42 10.43 0.00 2.70 0.00 0.00 -0.00

time (sec)

N/A 1.682 28.349 0.642 0.000 4.059 0.000 0.000 0.000

Problem 1369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

521 521 4327 5097 0 1553 0 0 -1

N.S.

1 1.00 8.31 9.78 0.00 2.98 0.00 0.00 -0.00

time (sec)

N/A 1.227 26.129 0.494 0.000 2.573 0.000 0.000 0.000

Problem 1370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

401 401 3834 3773 0 1323 0 0 -1

N.S.

1 1.00 9.56 9.41 0.00 3.30 0.00 0.00 -0.00

time (sec)

N/A 0.824 22.203 0.422 0.000 3.794 0.000 0.000 0.000

Problem 1371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

378 378 539 2767 0 1202 0 0 -1

N.S.

1 1.00 1.43 7.32 0.00 3.18 0.00 0.00 -0.00

time (sec)

N/A 0.844 15.285 0.392 0.000 1.679 0.000 0.000 0.000

Problem 1372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

447 447 119861 3739 0 0 0 0 -1

N.S.

1 1.00 268.15 8.36 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.130 34.891 0.410 0.000 0.000 0.000 0.000 0.000

Problem 1373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

563 563 215866 5561 0 0 0 0 -1

N.S.

1 1.00 383.42 9.88 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.470 35.702 0.471 0.000 0.000 0.000 0.000 0.000